#!/bin/bash

# js.jar is part of Mozilla Rhino (http://www.mozilla.org/rhino/)

java -jar /opt/rhino/js.jar ~/projects/jsdet/tools/jslint-jsdet.js $@
